DOSFOP - A Documentation Tool for the Algebraic Programming Language OPAL

A Pragmatic Approach to Software DocumentationKlaus

We present an approach for designing a literate programming tool that, in addition to covering the technical issues, especially targets the acceptance of the documentation system by the program developer. We then describe the DosfOp documentation system for the Opal language, which was developed in line with these design principles. Finally, we discuss experiences with the system from a user's ...

Programming in the Large: The Algebraic-Functional Language Opal 2alpha

OPAL: Design and Implementation of an Algebraic Programming Language

Discovering Algebraic Specifications for Java Classes ; CU-CS-985-04

Modern programs make extensive use of reusable software libraries. For example, a study of a number of large Java applications shows that between 17% and 30% of the classes in those applications use the container classes from the java.util package. Given this extensive code reuse in Java programs, it is important for the reusable interfaces to have clear and unambiguous documentation. Unfortuna...

Discovering Algebraic Specifications for Java Classes

Modern programs make extensive use of reusable software libraries. For example, a study of a number of large Java applications shows that between 17% and 30% of the classes in those applications use the container classes from the java.util package. Given this extensive code reuse in Java programs, it is important for the reusable interfaces to have clear and unambiguous documentation. Unfortuna...